$\forall$$s$, $t$:DSet, $a$, $b$:(:$\mid$$s$$\mid$ $\times$ $\mid$$t$$\mid$). ($\uparrow$($a$ =$_{b}$ $b$)) $\Leftarrow\!\Rightarrow$ ($a$ = $b$)